Nuprl Definition : free-from-atom
11,40
postcript
pdf
x
:
T
||
a
is Primitive
latex
clarification:
free-from-atom{$n}(
T
;
x
;
a
) is Primitive
latex
FDL editor aliases
free-from-atom
origin